cartes(Jeu,[A,B,C,D,E]):-
  a_carte(Jeu,A),a_carte(Jeu,B),a_carte(Jeu,C),a_carte(Jeu,D),a_carte(Jeu,E),
  A\=B,A\=C,A\=D,A\=E,
  B\=C,B\=D,B\=E,
  C\=D,C\=E,
  D\=E.